Tootfinder

Equivalence of multiset-based consequence relations
Ali Madanshekaf, Adam P\v{r}enosil, Zeinab Khanjanzadeh Seresti, Constantine Tsinakis
https://arxiv.org/abs/2404.04347

Equivalence of multiset-based consequence relations
The pioneering work of Blok and Jónsson and its further development by Galatos and Tsinakis initiated an abstract study of consequence relations using the tools of module theory, where consequence relations over all types of syntactic objects are put on an equal footing. However, the assumption that in a consequence relation the premises form merely a set, as opposed to a more complicated structure, is still retained. An attempt to extend this framework to account for inferentially substructur…

Syntactic Robustness for LLM-based Code Generation
Laboni Sarker, Mara Downing, Achintya Desai, Tevfik Bultan
https://arxiv.org/abs/2404.01535 https://

Syntactic Robustness for LLM-based Code Generation
Rapid advances in the field of Large Language Models (LLMs) have made LLM-based code generation an important area for investigation. An LLM-based code generator takes a prompt as input and produces code that implements the requirements specified in the prompt. Many software requirements include mathematical formulas that specify the expected behavior of the code to be generated. Given a code generation prompt that includes a mathematical formula, a reasonable expectation is that, if the formula…